Challenges in Software Aspects of Aerospace Systems

نویسندگان

  • Kelly J. Hayhurst
  • C. Michael Holloway
چکیده

For many years, NASA Langley Research Center has cooperated with the Federal Aviation Administration (FAA) in research about software engineering methods for aerospace applications. Recent research has focused on software aspects of the FAA’s certification process. In this paper, the results of the Streamlining Software Aspects of Certification (SSAC) program are examined to provide insight into current challenges in the aerospace industry in developing and assuring complex, software-based systems. We conclude that at the root of many of the current challenges lies the challenge of accurately communicating requirements between groups of people.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

International responsibility of ICAO in utilization of Satellite Navigation Systems

Development of new technologies and its growing process in the last years of the twentieth century, leads to the use of satellites in navigation. Although the technical aspects of this project has significantly improved, legal and political aspects of it, have been subject of different views of states and of international organizations related to aviation industry and though have not led to a f...

متن کامل

Pnm-25: Nursing Information Systems: Issues and Challenges

Background: The nursing process is often considered as core of the nursing care delivery and guides the care documentation. Currently, with rapid advance in Information and Communication Technology (ICT) this process can be supported electronically. Applying information systems improves care health processes. Nursing Information Systems (NISs) deal with nursing process. Materials and Methods: E...

متن کامل

Towards Automotive Software Health Management

Integrated Vehicle Health Management (IVHM) covers frameworks for detecting, diagnosing, and mitigating faults in hardware and structures in aerospace systems. Software Health Management (SHM) applies the goals of IVHM to software-intensive systems to detect software faults in real-time and to mitigate them. In this position paper, we describe the needs and challenges of SHM in automotive systems.

متن کامل

Function Extraction: Automated Behavior Computation for Aerospace Software Verification and Certification

[Abstract] The complex aerospace systems of the future will challenge the capabilities of present-day software engineering, which is reaching cost and complexity limits of development technologies evolved in the first fifty years of computing. A new science for the next fifty years is required to transform software engineering into a computational discipline capable of fast and dependable softw...

متن کامل

Hybrid Theorem Proving of Aerospace Systems: Applications and Challenges1

Complex software systems are becoming increasingly prevalent in aerospace applications, in particular to accomplish critical tasks. Ensuring the safety of these systems is crucial, while they can have subtly different behavior under slight variations in operating conditions. In this paper we advocate the use of formal verification techniques and in particular theorem proving for hybrid software...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2001